Nuprl Definition : fail-dcdr
11,40
postcript
pdf
fail-dcdr{i:l}(
es
;
Fail
) == TERMOF{
decidable
exists-fail
:ObjectId, 1:l, i:l}(
es
,
Fail
)
latex
clarification:
fail-dcdr{i:l}(
es
;
Fail
) == TERMOF{
decidable
exists-fail
:ObjectId, 1:l, i:l}(
es
,
Fail
)
latex
Definitions
f
(
a
)
,
decidable
exists-fail
FDL editor aliases
fail-dcdr
origin